partial reduction

部分还原